#include <signal.h>

int __libc_current_sigrtmin()
{
    return 35;
}
